\documentclass[a4paper]{article}

\usepackage{listings}
\usepackage{color}
\usepackage{graphicx}
\usepackage{tikz}
\usepackage{multicol}

\usepackage[top=2.0cm, bottom=2.0cm, left=2.0cm, right=2.0cm]{geometry}

\title{Embbeded Systems - Exercise 04}

\author{Antonios Motakis \and Jander Nascimento}

\begin{document}

\section*{Question 1}

\subsection*{Formula 1}

The proposed formula $G(p \rightarrow F (q \lor c))$ is \emph{NOT} valid. By expansion $G(p \lor G(q \land c))$

\subsection*{Formula 2}

The formula $F(p \land G (\neg q \land \neg c))$ is NOT valid.

\end{document}
